底部框架一抗震墙房屋过渡层刚度计算统一公式

过渡层抗震墙侧移刚度的计算较复杂．在理论分析的基础上，推导了无洞口墙、小开口墙、有洞口墙和带构造柱砖墙侧移刚度的统一计算公式，该公式简单、方便、实用．     

Г函数的性质研究

Г函数是一个特殊函数，其定义表达式为广义积分式。定理1一定理7给出了它的估计区间、精确表达式和近似计算公式。     

液相组合合成Mannich碱及清除树脂对产物的处理

应用组合合成的原理,使用3种酮、5种胺和甲醛反应,在盐酸的催化下,一次性合成了15种Mannich碱。使用大孔季铵强碱型清除树脂有效地除去了产物中残留的强酸催化剂———盐酸。经GC/MS色谱分析可知,产物的量决定于胺和酮的结构。对称结构的酮(如丙酮)只能得到一种产物,而不对称结构的酮(如2—戊酮)可给出两种产物。     

公诉证明标准的重塑——从证明标准的概念谈起

廓清了证明标准与证明要求的关系,在"案件事实清楚,证据确实、充分"这一证明要求的旗帜下,从两个层次上对公诉证明标准进行了阐述,提出了"有足够证据"这一表述方式,并对如何具体把握作了进一步的探讨,以期从庞杂的证明标准体系中理出一点头绪。     

组合数丢番图方程[2x]=[4y]的正解

运用递推序列法，给出组合数丢番图方程[x2]=[y4]的一个初等解法．     

试析刑事证明标准理论之法律真实说

我国学者们缘于对1996年修改的《中华人民共和国刑事诉讼法》第162条所确立的“疑罪从无”原则的讨论,将“法律真实”引入刑事证明标准理论,法律真实说驳斥客观真实说曲解唯物主义认识论,对客观真实说的缺陷作了切中要害、准确而深入的分析,因而,在与客观真实说的论战中逐步获得来越多的支持。然而,法律真实说由于其理论上的不彻底性,也使其自身存在着不可克服的内在矛盾。     

判断一类几何最值问题可解性的计算机算法

利用Ｇａｌｏｉｓ理论讨论了一类涉及不等式的几何问题,给出了判断这类问题能否用初等方法或尺规作图法求解的计算机算法,该算法依赖于整系数多项式在有理数域上的因子分解和不可约性的判定。     

一个STD总线的开放式单片微机开发系统

介绍一个ＳＴＤ总线的开放式单片微机开发系统．对硬件断点逻辑电路和系统的软件开发环境作了深入的分析．     

多回合组合双向拍卖交易机制研究

以组合双向拍卖分析为基础,建立了相关的数学模型,分别对单一回合和多个回合的组合双向拍卖交易机制进行了研究,证明多回合组合双向拍卖能更大地提高社会福利,也为进一步研究组合双向拍卖的市场效率、竞争均衡、竞标策略和计算机的模拟实验等问题提供了基础.     

基于遗传算法和概率神经网络提高脑机接口中脑电信号识别率

针对脑机接口（BCI）研究中存在脑电信号（EEG）识别率低的问题，提出一种基于遗传算法（GA）和概率神经网络（PNN）的GA—PNN识别方法．用该方法对EEG提取时频特征，构成模式识别的初始特征．以训练样本识别正确率为适应度函数，采用GA对初始特征进行组合优化．基于优选后的特征，用PNN对测试样本进行分类．该方法使EEG识别正确率达到92．499／5，与2003年BCI国际竞赛最好的处理结果（88．7％）相比，提高近4％，为BCI中EEG的识别提供了有效的手段．